Sistemi informatici: una prospettiva per programmatori (edizione globale): il contratto ISA e lo stato architetturale

Il Architettura dell'insieme di istruzioni (ISA) funge da livello fondamentale di astrazione livello di astrazione e un contratto formale tra software e hardware. Mentre linguaggi ad alto livello come C nascondono la complessità, l'ISA espone lo stato architetturale—la configurazione precisa dei registri del processore e della memoria.

1. Lo stato architetturale

Un processore x86-64 definisce il suo stato attraverso diversi componenti chiave:

Contatore del programma (%rip): Contiene l'indirizzo dell'istruzione successiva.
File dei registri interi: 16 registri generali (ad esempio, %rax, %rbx) che memorizzano valori a 64 bit.
Codici di condizione: Bandiere (ZF, SF, CF, OF) per il flusso di controllo.
Registri vettoriali: Come ad esempio registri YMM (256 bit) per operazioni SIMD.

2. Astrazione della memoria

Il codice macchina vede la memoria come un'ampia matrice indirizzabile per byte. Sebbene l'x86-64 supporti indirizzi virtuali a 64 bit, le implementazioni attuali spesso utilizzano uno spazio di indirizzamento a 48 bit ($2^{48}$ byte). Classifichiamo le dimensioni dei dati come Parola (16 bit), Doppia parola (32 bit) e Quadrupla parola (64 bit).

3. Evoluzione e compatibilità

Guidato da La legge di Moore, Intel si è evoluto dall' 8086 al Core i7 Haswell. L'ISA garantisce compatibilità verso il basso, consentendo al codice macchina legacy di essere eseguito su hardware moderni con multi-core e iper-threading.

TERMINALbash — 80x24

> Ready. Click "Run" to execute.

QUESTION 1

Practice Problem 2.52: Convert Format A bits 0 011 000 (Sign:1, Exp:3, Frac:3) to the closest value in Format B (Sign:1, Exp:2, Frac:4). Use round-to-even.

0 01 0000

0 10 0000

0 11 1000

0 00 1111

✅ Correct!

In Format A (bias 3), 011 is exponent 0 ($2^0$), so value is 1.0. In Format B (bias 1), exponent 0 is represented by 01. 1.0 is 0 01 0000.

QUESTION 2

Which of the following assembly lines is valid for a 64-bit system?

movb %ebx, (%rax)

movq %rax, $0x123

movl %eax, (%rsp)

movw %cl, %ax

✅ Correct!

movl %eax, (%rsp) is valid; it moves a 32-bit double word into memory. Others fail due to size mismatches (ebx is 32-bit, movb is 8-bit) or trying to move into an immediate value.

QUESTION 3

If a processor requires 25 cycles for predictable branches and 45 cycles for random branches, what is the Branch Misprediction Penalty ($T_{MP}$)?

20 cycles

40 cycles

10 cycles

65 cycles

QUESTION 4

In the 'Guarded-Do' transformation of a while loop, what happens first?

The loop body executes once unconditionally.

An initial conditional branch checks if the loop should be skipped entirely.

The loop is converted into a switch statement.

The compiler uses a jump-to-middle strategy.

QUESTION 5

What is the primary function of the leaq instruction when not accessing memory?

To perform fast arithmetic like x + k*y.

To clear the condition code registers.

To move data between XMM registers.

To sign-extend a byte to a quad word.

✅ Correct!

leaq (Load Effective Address) uses address-computation hardware to perform additions and shifts without referencing memory.